formal semantics meaning in Chinese
形式语意学
形式语义学
Examples
- The formal semantics of rt - z , based on the denotation semantics of z and timed csp , is a prerequisite for preciseness and mathematical rigour
Rt - z的语义基于z和timedcsp ，这是它具有正确性和数学严格性的基础。 - The discussion exploits rules to ascribe main uml elements with formal semantics in terms of functionally equivalent petri nets
本文提出的pbmum方法的基本思想是采用与uml具有同等功能的petri网的形式化语义规则去描述uml的主要元素。 - The disadvantage of it is lacking a formal semantics and difficult to apply , directly , mathematical techniques on uml models for system validation
但uml的缺点是难以直接用数学工具对uml模型进行检验，另外uml在语义方面也存在一些不足。 - This idea provided the foundation for the justification of the corresponding work flow functional requirement to the formal semantics by means of model examination
为使用模型检查方法来验证与形式化语义对应的工作流功能需求奠定了基础。 - At present , many organizations and individuals are engaged in the study of uml formal semantics . they attempt to influence the future of uml through the study of uml
目前，很多机构和个人都在从事uml的形式语义研究，他们试图通过对uml的研究来对uml的未来产生影响。